More from this Author
Found 4 books by Francesco Logozzo (Editor)
Static Analysis
by Francesco Logozzo (Editor), Manuel Fahndrich (Editor)
Static Analysis
by Francesco Logozzo (Editor), Manuel Fähndrich (Editor)
Verification, Model Checking, and Abstract Interpretation
by Francesco Logozzo (Editor), Leonore D. Zuck (Editor), Doron A. Peled (Editor)
Static Analysis
by Francesco Logozzo (Editor), Manuel Fähndrich (Editor), Manuel Fähndrich (Editor)